$\forall$${\it es}$:ES, $i$:Id, $k$:Knd. AtomFree(Type;kindtype($i$;$k$))